1. Automata for Branching and Layered Temporal Structures
پدیدآورنده : / Gabriele Puppis
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
پدیدآورنده : / Gabriele Puppis (auth.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3. Automata for branching and layered temporal structures
پدیدآورنده : Gabriele Puppis
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Machine theory
رده :
QA
،
26
،.
P87
،
2010
4. Automata for branching and layered temporal structures
پدیدآورنده : / Gabriele Puppis
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Machine theory
رده :
QA267
.
P87
2010
5. Automata for branching and layered temporal structures
پدیدآورنده : / Gabriele Puppis
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Machine theory
رده :
E-BOOK
6. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده : Puppis, Gabriele
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
7. Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>
پدیدآورنده : / Gabriele Puppis
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Computer logic,Branching processes,Space and time,Machine theory
رده :
006
.
3
P984A
2010
